Видео ютуба по тегу Homotopy Type Theory

Homotopy Type Theory Discussed - Computerphile
Homotopy Type Theory Discussed - Computerphile
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
What is...homotopy type theory?
What is...homotopy type theory?
Computer Science and Homotopy Theory - Vladimir Voevodsky
Computer Science and Homotopy Theory - Vladimir Voevodsky
My First Type Theory
My First Type Theory
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
Intensionality, Invariance, and Univalence, Steve Awodey
Intensionality, Invariance, and Univalence, Steve Awodey
Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory I
Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory I
Urs Schreiber:
Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"
Keynote: Higher Inductive Types in Homotopy Type Theory – Kristina Sojakova
Keynote: Higher Inductive Types in Homotopy Type Theory – Kristina Sojakova